Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
861	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax
862	Another Proof of the Faithfulness of the Lawrence-Krammer Representation of the Braid Group B3 Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 18:20:19 Symbol Mathematics Group theory Abstract algebra Representation theory Lawrence–Krammer representation
863	283_2009_9063_Article 1..6 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-06-24 09:42:45 Number theorists Atle Selberg Norwegian Academy of Science and Letters Elementary proof Prime number theorem Riemann zeta function Riemann hypothesis Probabilistic method Number theory Mathematics Analytic number theory Mathematical proofs
864	BioScience Pre-Publication--Uncorrected Proof Articles Social Norms and Global Environmental Challenges: Add to Reading List Source URL: web.archive.org Language: English Behavior Social philosophy Norm Role Morality Prosocial behavior Social group Social Norms Approach Theory of planned behavior Sociological terms Social psychology Sociology
865	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
866	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
867	A New Proof of the Likelihood Principle By Greg Gandenberger Abstract I present a new proof of the Likelihood Principle that avoids two responses to a well-known proof due to Birnbaum[removed]I also respond to argument Add to Reading List Source URL: gandenberger.org Language: English - Date: 2013-11-22 11:56:05 Bayesian statistics Hypothesis testing Estimation theory Conditionality principle Likelihood principle Frequency probability Frequentist inference Prior probability Statistical significance Statistics Statistical theory Statistical inference
868	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
869	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
870	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory

UPDATE